• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
تعداد ۲۱ پاسخ غیر تکراری از ۲۱ پاسخ تکراری در مدت زمان ۰,۷۳ ثانیه یافت شد.

1. Computability

پدیدآورنده: / Nigel Cutland

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Computable functions,Recursion theory

رده :
QA
9
.
59
.
C87
1980
مشاهده در قفسه مجازی RIS Bibtex ISO

2. Computability, an introduction to recursive function theory

پدیدآورنده: Cutland, Nigel.

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Computable functions,، Recursion theory

رده :
QA
9
.
59
.
C87
1980
مشاهده در قفسه مجازی RIS Bibtex ISO

3. Computability, an introduction to recursive function theory

پدیدآورنده: / Nigel Cutland

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع: Computable functions,Recursion theory

رده :
QA9
.
59
.
C87
مشاهده در قفسه مجازی RIS Bibtex ISO

4. Computability, an introduction to recursive function theory /

پدیدآورنده: Nigel Cutland

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computable functions,Recursion theory

رده :
QA9
.
59
.
C87
مشاهده در قفسه مجازی RIS Bibtex ISO

5. Computability, an introduction to recursive function theory

پدیدآورنده: / Nigel Cutland

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Computable functions,Recursion theory

رده :
QA9
.
59
.
C87
مشاهده در قفسه مجازی RIS Bibtex ISO

6. Computability, an introduction to recursive function theory

پدیدآورنده: Cutland, Nigel.

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computable functions,، Recursion theory

رده :
QA
9
.
59
.
C87
مشاهده در قفسه مجازی RIS Bibtex ISO

7. Computability : an introduction to recursive function theory

پدیدآورنده: Nigel Cutland

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computable functions,، Recursion theory,، Recursive functions

رده :
QA
9
.
59
.
C87
1980
مشاهده در قفسه مجازی RIS Bibtex ISO

8. Computability, an introduction to recursive function theory

پدیدآورنده: / Nigel Cutland

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع: Computable functions,Recursion theory

رده :
QA9
.
59
.
C87
مشاهده در قفسه مجازی RIS Bibtex ISO

9. Computability; an introduction to reeursive function theory

پدیدآورنده: Cutland, Nigel

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Computable functions ► Recursion theory

رده :
519
C989c
مشاهده در قفسه مجازی RIS Bibtex ISO

10. Computability; an introduction to reeursive function theory

پدیدآورنده: Cutland, Nigel

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)

موضوع: Computable functions ► Recursion theory

رده :
519
C989c
مشاهده در قفسه مجازی RIS Bibtex ISO

11. Computability theory /

پدیدآورنده: Rebecca Weber

کتابخانه: کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computable functions,Recursion theory

رده :
QA9
.
6
.
W43
2012
مشاهده در قفسه مجازی RIS Bibtex ISO

12. Computability theory : concepts and applications

پدیدآورنده: Dunne, Paul E

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Computable functions , Recursion theory , Turing machines

رده :
QA
9
.
59
.
D85
مشاهده در قفسه مجازی RIS Bibtex ISO

13. Computable analysis

پدیدآورنده: / by Klaus Weihrauch

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Computable functions,Recursion theory,Mathematical analysis

رده :
QA9
.
59
.
W46
2000
مشاهده در قفسه مجازی RIS Bibtex ISO

14. Computable analysis: an introduction

پدیدآورنده: Weihrauch, K. )Klaus(

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computable functions,، Recursion theory,، Mathematical analysis

رده :
QA
9
.
59
.
W46
2000
مشاهده در قفسه مجازی RIS Bibtex ISO

15. Computable analysis : an introduction

پدیدآورنده: Klaus Weihrauch

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computable functions,، Recursion theory,، Mathematical analysis

رده :
QA
9
.
59
.
W44C6
مشاهده در قفسه مجازی RIS Bibtex ISO

16. Recursion on the countable functionals

پدیدآورنده: Normann, Dag

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Recursion theory,، Computable functions,، Functionals

رده :
QA
1
.
L4
v
.
811
مشاهده در قفسه مجازی RIS Bibtex ISO

17. Recursion on the countable functionals

پدیدآورنده: Normann, Dag

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Recursion theory,، Computable functions,، Functionals

رده :
QA
3
.
L28
no
.
811
مشاهده در قفسه مجازی RIS Bibtex ISO

18. Recursion on the countable functionals

پدیدآورنده: / Dag Normann

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Recursion theory,Computable functions,Functionals

رده :
QA
9
.
6
.
N6
1980
مشاهده در قفسه مجازی RIS Bibtex ISO

19. Recursion on the countable functionals

پدیدآورنده: Dag Normann

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Recursion theory,، Computable functions,، Functionals

رده :
QA
3
.
L28
Vol
.
811
مشاهده در قفسه مجازی RIS Bibtex ISO

20. Recursion on the countable functionals

پدیدآورنده: Normann, Dag

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Recursion theory,، Computable functions

رده :
QA
3
.
L28
no
.
811
مشاهده در قفسه مجازی RIS Bibtex ISO
  • »
  • 2
  • 1
  • «

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال